32032 search results - page 6097 / 6407 » Verified programming in Guru |
178
click to vote
ASPDAC
2005
ACM
16 years 10 days ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
193
click to vote
ASPDAC
2005
ACM
16 years 10 days ago
2005
ACM
The progressive trend of fabrication technologies towards the nanometer regime has created a number of new physical design challenges for computer architects. Design complexity, u...
168
click to vote
ASPDAC
2005
ACM
16 years 10 days ago
2005
ACM
Abstract— The success of classical high level synthesis has been limited by the complexity of the applications it can handle, typically not large enough to necessitate the depart...
224
click to vote
ICAIL
2005
ACM
16 years 10 days ago
2005
ACM
Computational resources for research in legal environments have historically implied remote access to large databases of legal documents such as case law, statutes, law reviews an...
176
click to vote
ISLPED
2005
ACM
16 years 10 days ago
2005
ACM
Disk power management is becoming increasingly important in high-end server and cluster type of environments that execute dataintensive applications. While hardware-only approache...