3575 search results - page 541 / 715 » Modeling Concurrency with Geometry |
176
click to vote
TCAD
2010
14 years 12 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
126
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
Computational complexity has been the primary challenge of many VLSI CAD applications. The emerging multicore and manycore microprocessors have the potential to offer scalable perf...
146
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
Few systems combine both Embodied Conversational Agents (ECAs) and multimodal input. This research aims at modeling the behavior of adults and children during their multimodal int...
165
Voted
CADE
2004
Springer
16 years 5 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
137
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...