2607 search results - page 271 / 522 » On the Architecture of System Verification Environments |
188
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
276
click to vote
AICT
2010
IEEE
14 years 10 months ago
2010
IEEE
— Several research groups are working on designing new security architectures for 4G networks such as Hokey and Y-Comm. Since designing an efficient security module requires a cl...
177
click to vote
VTC
2007
IEEE
16 years 28 days ago
2007
IEEE
— Cooperative systems in transportation can bring new intelligence for vehicles, roadside systems, operators and individuals by creating a communications platform allowing vehicl...
165
click to vote
SENSYS
2004
ACM
16 years 2 days ago
2004
ACM
An ad-hoc wireless sensor network-based system is presented that detects and accurately locates shooters even in urban environments. The system consists of a large number of cheap...
154
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. Dynamic real-time systems function in unpredictable environments and have requirements that span many domains such as time, survivability, and scalability. The system req...