Sciweavers

1354 search results - page 100 / 271
» Comparing Agent-Oriented Methodologies
Sort
View
ASPDAC
2008
ACM
92views Hardware» more  ASPDAC 2008»
13 years 12 months ago
Decomposition based approach for synthesis of multi-level threshold logic circuits
Scaling is currently the most popular technique used to improve performance metrics of CMOS circuits. This cannot go on forever because the properties that are responsible for the ...
Tejaswi Gowda, Sarma B. K. Vrudhula
ATAL
2008
Springer
13 years 12 months ago
AGENTFLY: a multi-agent airspace test-bed
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
David Sislák, Premysl Volf, Stepán K...
CODES
2008
IEEE
13 years 11 months ago
Specification-based compaction of directed tests for functional validation of pipelined processors
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
Heon-Mo Koo, Prabhat Mishra
USENIX
2001
13 years 11 months ago
Pragmatic Nonblocking Synchronization for Real-Time Systems
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
Michael Hohmuth, Hermann Härtig
CCIA
2009
Springer
13 years 11 months ago
Text Detection in Urban Scenes
Abstract. Text detection in urban scenes is a hard task due to the high variability of text appearance: different text fonts, changes in the point of view, or partial occlusion are...
Sergio Escalera, Xavier Baró, Jordi Vitri&a...