2930 search results - page 419 / 586 » A Constructive Approach to the Design of Distributed Systems |
189
click to vote
MIDDLEWARE
2004
Springer
15 years 12 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
156
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
178
click to vote
AOSD
2009
ACM
16 years 1 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
182
click to vote
ICRA
2005
IEEE
16 years 2 days ago
2005
IEEE
- We are developing a process to quickly prototype millirobotic systems in which the approach is to identify and develop a construction kit for fabricating almost any design, simil...
177
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
Circuit interconnect has become a substantial obstacle in the design of high performance systems. In this paper we explore a new routing paradigm that strikes at the root of the i...