Sciweavers

3373 search results - page 206 / 675
» Naturalistic Decision Making
Sort
View
IPPS
2006
IEEE
14 years 3 months ago
A dynamic firing speculation to speedup distributed symbolic state-space generation
The saturation strategy for symbolic state-space generation is very effective for globally-asynchronous locally-synchronous discrete-state systems. Its inherently sequential natu...
Ming-Ying Chung, Gianfranco Ciardo
CIG
2005
IEEE
14 years 2 months ago
On TRACS: Dealing with a Deck of Double-Sided Cards
TRACS (Tool for Research on Adaptive Cognitive Strategies) is a new suite of card games played with a special deck, where the back of each card is a clue to the front of the card. ...
Kevin Burns
ISCAS
2005
IEEE
145views Hardware» more  ISCAS 2005»
14 years 2 months ago
SoC platform based design of MPEG-2/4 AAC audio decoder
—This paper presents a SoC platform based design for the implementation of AAC audio decoder. We present the approach not only for the characteristics of the algorithm, but also ...
Chun-Nan Liu, Tsung-Han Tsai
ISQED
2005
IEEE
81views Hardware» more  ISQED 2005»
14 years 2 months ago
An ILP Formulation for Reliability-Oriented High-Level Synthesis
Reliability decisions taken early in system design can bring significant benefits in terms of design quality. This paper presents a 0-1 integer linear programming (ILP) formulatio...
Suleyman Tosun, Ozcan Ozturk, Nazanin Mansouri, Er...
SAC
2005
ACM
14 years 2 months ago
A strategy for selecting multiple components
This paper presents a systematic method for simultaneously defining a software architecture and selecting off-the-shelf components for reuse. The method builds upon existing tec...
Ed Mancebo, Anneliese Amschler Andrews