2364 search results - page 283 / 473 » An Engine for Computing Well-Founded Models |
132
Voted
ISPASS
2006
IEEE
15 years 11 months ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. Performance evaluations are therefore often done using logs of workloads on current productions s...
136
Voted
CGO
2005
IEEE
15 years 10 months ago
2005
IEEE
Register allocation is one of the most important optimizations a compiler performs. Conventional graphcoloring based register allocators are fast and do well on regular, RISC-like...
124
click to vote
GLVLSI
2005
IEEE
15 years 10 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
147
click to vote
LAWEB
2003
IEEE
15 years 10 months ago
2003
IEEE
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
150
click to vote
CODES
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper discusses a case study, the co-design of an ATM Network Interface Card (NIC). The NIC is aimed to interface applications with the physical network line. It is composed ...