4513 search results - page 607 / 903 » Logic programming with satisfiability |
132
Voted
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
120
click to vote
ICDCSW
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract— This work presents an infrastructure that simplifies the development of distributed applications that can adapt automatically to nonfunctional properties of their comp...
148
click to vote
JAVA
2001
Springer
15 years 8 months ago
2001
Springer
Rapid commoditization of advanced hardware and progress of networking technology is now making wide area high-performance computing a.k.a. the ‘Grid’ Computing a reality. Sinc...
153
click to vote
TOOLS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we describe how object-oriented language design interacts with access control in extensible systems, based on our experience in building the SPIN extensible operatin...
149
click to vote
ICRA
1993
IEEE
15 years 8 months ago
1993
IEEE
cavity Recent advan.cesin cementless hip replacement surgery have significantly improved the accuracy of bone cavity preparation and custom implant shape design. With the increased...