176 search results - page 24 / 36 » Efficient Symbolic Simulation of Low Level Software |
CASES
2007
ACM
15 years 1 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
CASES
2005
ACM
14 years 11 months ago
2005
ACM
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...
PPDP
2000
Springer
15 years 1 months ago
2000
Springer
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...
84
Voted
IADIS
2003
14 years 11 months ago
2003
Firewalls are hardware and software systems that protect a network from attacks coming from the Internet. Packet filtering firewalls are efficient, fast and provide a good level o...
ICN
2001
Springer
15 years 2 months ago
2001
Springer
New applications have been introduced to the today’s “best-effort” IP networks having different bandwidth and delay guarantee requirements. The IETF is currently focused on D...