1748 search results - page 275 / 350 » interact 2003 |
144
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
154
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
We present the framework of a new grid architecture based on the peer-to-peer and the component paradigms. In our architecture, several peer-to-peer components are loosely coupled...
116
click to vote
DFT
2003
IEEE
15 years 9 months ago
2003
IEEE
In the last years, new requirements in terms of vehicle performance increased significantly the amount of on-board electronics, thus raising more concern about safety and fault to...
127
click to vote
ECRTS
2003
IEEE
15 years 9 months ago
2003
IEEE
When time-triggered (TT) systems are to be deployed for large embedded real-time (RT) control systems in cars and airplanes, one way to overcome bandwidth limitations and achieve ...
137
Voted
FOCS
2003
IEEE
15 years 9 months ago
2003
IEEE
We show how a polynomial-time prover can commit to an arbitrary finite set Ë of strings so that, later on, he can, for any string Ü, reveal with a proof whether Ü ¾ Ë or Ü ...