3256 search results - page 178 / 652 » Applications of Formal Methods to System Design and Verifica... |
167
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
168
click to vote
CODES
1998
IEEE
15 years 10 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
204
click to vote
HIPC
2007
Springer
15 years 10 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
172
click to vote
EDOC
2004
IEEE
2004
IEEE
Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems
15 years 10 months ago
As the Internet, intranets and other wide-area open networks grow, novel techniques for building distributed systems, notably mobile agents, are attracting increasing attention. T...
177
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...