376 search results - page 58 / 76 » Improved Design Debugging Using Maximum Satisfiability |
169
click to vote
ICDE
2004
IEEE
15 years 11 months ago
2004
IEEE
Terrain can be approximated by a triangular mesh consisting millions of 3D points. Multiresolution triangular mesh (MTM) structures are designed to support applications that use t...
ESCIENCE
2007
IEEE
15 years 4 months ago
2007
IEEE
Service-Oriented Architectures provide integration of interoperability for independent and loosely coupled services. Web services and the associated new standards such as WSRF are...
ECRTS
2006
IEEE
15 years 3 months ago
2006
IEEE
Real-time systems are often designed using a set of periodic tasks. Task periods are usually set by the system requirements, but deadlines and computation times can be modified i...
CLUSTER
2006
IEEE
15 years 1 months ago
2006
IEEE
Effective overlap of computation and communication is a well understood technique for latency hiding and can yield significant performance gains for applications on high-end compu...
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
The adoption of transactional memory is hindered by the high overhead of software transactional memory and the intrusive design changes required by previously proposed TM hardware...