788 search results - page 126 / 158 » Design and use of a system-level specification and verificat... |
192
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Most agent systems today are closed and static. That is, one uses Agent-Oriented Software Engineering techniques to build agent systems in which the set of agents is specified ahe...
170
click to vote
GLVLSI
2008
IEEE
16 years 19 days ago
2008
IEEE
Statistical static timing analysis (SSTA) plays a key role in determining performance of the VLSI circuits implemented in state-of-the-art CMOS technology. A pre-requisite for emp...
148
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Tools and a design methodology have been developed to support partial run-time reconfiguration of FPGA logic on the Field Programmable Port Extender. High-speed Internet packet pr...
130
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
Kth increasing uncertainties in the modeling and pmcessing of semiconductor devices, it is essential that the sources of failures be identified once the devices ure manufactured I...
174
click to vote
ECMDAFA
2007
Springer
16 years 11 days ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...