電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 23件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
RCC, MICT
(共催)
2019-05-29
13:00
東京 東京ビッグサイト 複数エージェントによるグラフ上の動的監視 ~ 可解条件について ~
小林孝一北大
監視問題とは,与えられた領域をまんべん移動する複数エージェントの軌道を求める問題である.本論文では,エージェントが燃料制... [more] RCC2019-1 MICT2019-1
pp.1-4
PRMU, BioX
(共催)
2019-03-18
16:10
東京 電気通信大学 [招待講演]歩容認証のための幾何制約条件下での動的計画法を用いた歩行者軌跡の抽出(BTAS 2018)
槇原 靖荻 岳仁八木康史阪大
防犯カメラ映像を用いた歩容認証は,歩き方から個人の識別を行う技術で犯罪捜査などに用いられている.歩容認証は,人物の検出・... [more] BioX2018-66 PRMU2018-170
p.207
SS 2019-03-04
16:45
沖縄 沖縄産業支援センター 組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ
坂梨元軌酒井正彦西田直樹橋本健二名大
著者らはこれまでに,組合せ最適化問題を簡単に記述でき,かつ効率的に解く手法を開発すること目的として,SQLを基礎とした言... [more] SS2018-66
pp.85-90
HWS, VLD
(共催)
2019-03-01
10:25
沖縄 沖縄県青年会館 FPGAを対象とした束データ方式による非同期式回路に対する配置制約についての検討
大竹 樹齋藤 寛会津大
本稿では,Field Programmable Gate Array (FPGA) を対象に束データ方式による非同期式回... [more] VLD2018-123 HWS2018-86
pp.181-186
KBSE 2018-03-02
14:20
沖縄 石垣市民会館 中ホール 時間制約を考慮可能な自己適応システム実装フレームワークの検討
津田宏軌・○中川博之土屋達弘阪大
自己適応システムは環境の変化などに適応し,自ら振る舞いを変化させることができるシステムである.その特徴から振る舞い変更の... [more] KBSE2017-59
pp.121-126
KBSE 2016-05-27
10:00
東京 同志社大学 東京オフィス バグ検出力評価能力を維持したミュータント削減手法
上野智弘・○芳賀博英同志社大
テストセットの品質を評価する手法の1つに,ミューテーション解析がある.この手法では,プログラムに故意にバグを埋め込んだミ... [more] KBSE2016-5
pp.25-30
VLD 2016-02-29
15:50
沖縄 沖縄県青年会館 コンポーネント間近接制約を考慮した整数線形計画法による耐ソフトエラーデータパス合成
呉 政訓金子峰雄北陸先端大
近年,半導体デバイスの微細化が進み,それに伴ったソフトエラーによるVLSIの信頼性低下が問題となっている.本研究では,単... [more] VLD2015-116
pp.31-36
VLD, DC, IPSJ-SLDM
(連催)
ICD, CPM
(共催)
CPSY, RECONF
(併催) [詳細]
2014-11-26
10:45
大分 ビーコンプラザ(別府国際コンベンションセンター) タイミング制約を含んだ回路記述方式とその意味論
西村俊二尼崎太樹末吉敏則熊本大
数学的な理論に基づく厳密な検証が可能となることから,各種の形式検証手法が広がりつつあるが,その検証対象は同期回路に限られ... [more] VLD2014-82 DC2014-36
pp.81-86
KBSE 2014-03-07
13:10
沖縄 沖縄県青年会館 単方向性制約伝搬に基づく業務システム構成法の提案 ~ 地方税の税務処理を例として ~
矢野寛将桑山浩希金田重郎同志社大
業務システムでは遂行すべき業務処理に加え,保存されているデータ内容の変更処理や誤入力に対する修正処理も行う必要がある.結... [more] KBSE2013-94
pp.91-96
SS, MSS
(共催)
2014-01-30
14:25
愛知 豊田中央研究所 近似によるパラメトリック実行時間解析の効率化手法およびその評価
杉原圭佑中田明夫広島市大
実時間制約を持つソフトウェアを異なる実行環境で再利用するためには,プロセッサの各命令の実行時間やプログラムのループ回数な... [more] MSS2013-54 SS2013-51
pp.17-22
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2013-11-07
14:00
岩手 渡り温泉さつき マルチカーエレベータのかご制御と割り当て問題に対するCP/MIPハイブリッド手法
峰岸達矢宮本俊幸阪大
ビルの高層化が進むにつれて,より多くの人員を効率的に輸送する要求が高まっている.しかし,エレベータシャフト数を増加させる... [more] CAS2013-67 MSS2013-46
pp.129-134
OCS, PN, NS
(併催)
2013-06-21
09:50
福島 日本大学工学部(郡山) マルチレイヤネットワーク設計問題におけるリング型トポロジーを用いた計算時間の高速化手法
高橋昂大見越大樹竹中豊文日大
近年,マルチレイヤネットワーク設計が,基幹ネットワークにおけるネットワーク設計技術として注目されている.
マルチレイヤ... [more]
NS2013-32
pp.19-24
IPSJ-SLDM, VLD
(連催)
2012-05-31
10:55
福岡 北九州国際会議場 束データ方式による非同期式回路のFPGA設計支援ツールセットの構築
滝澤恵多郎飯塚 成齋藤 寛会津大
本稿では,FPGA への実装を対象とした非同期式回路の設計支援ツールセットを提案する.提案するツールセットでは,束データ... [more] VLD2012-9
pp.49-54
VLD 2012-03-07
14:35
大分 ビーコンプラザ FPGA上に実現した可変レイテンシ回路の性能評価
右近祐太安藤健太高橋篤司阪大
現在ICTの基盤となっている集積回路は常に高性能化が求められている.
現在の集積回路の主流方式では, クロックをフリ... [more]
VLD2011-141
pp.127-132
SS, MSS
(共催)
2012-01-27
09:00
高知 高知市文化プラザかるぽーと [招待講演]区間制約プログラミングの研究事例 ~ Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法 ~
石井大輔NII
区間制約プログラミングは連続領域の変数をもつ制約を用いて事象を記述し,区間計算を用いて高信頼な求解処理を行う枠組みである... [more] MSS2011-67 SS2011-52
pp.73-77
IT 2012-01-20
14:05
茨城 筑波大学 Pure involution置換符号に基づく新しい置換符号について
不破和広和田山 正名工大
本稿では,pure involution 符号に基づく新しい置換符号を提案する.置換符号の1 つであるpure invo... [more] IT2011-39
pp.1-6
SS 2011-10-28
09:30
石川 北陸先端科学技術大学院大学 再帰プログラムに対するパラメトリック実行時間解析手法とツールの試作
椛島和宏中田明夫広島市大
実時間性を持つソフトウェア部品に関しては,実行時間がプロセッサなどの実行環境に依存するため,異なる環境への再利用は一般に... [more] SS2011-33
pp.37-42
ICM 2010-07-09
11:20
北海道 公立はこだて未来大学 Continuity Checkの設定変更を統一的に実現するための制約充足アプローチを用いた設定方法の提案
中島 一増田 健秋山幸生NTT
Ethernet OAMのETH-CC(Ethernet Continuity Check)機能は,イーサネットにおいて... [more] ICM2010-21
pp.73-78
COMP 2008-12-03
14:35
群馬 群馬大学 Improved Formula Size Lower Bounds for Monotone Self-Dual Boolean Functions
Kenya UenoUniv. of Tokyo
本研究は、Karchmer, Kushilevitz and Nisan~\cite{KKN95}によって導入された線形... [more] COMP2008-51
pp.33-40
VLD, CAS, SIP
(共催)
2008-06-27
09:20
北海道 北海道大学 高等教育機能開発センター 高位合成における順序制約付レジスタ割り当て
井上恵介金子峰雄岩垣 剛北陸先端大
近年の半導体プロセスの微細集積化に伴い,製造時に生じる物理的パラメータの変動や動作時の変動に起因する遅延ばらつきの問題が... [more] CAS2008-20 VLD2008-33 SIP2008-54
pp.7-12
 23件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会