15777 search results - page 2680 / 3156 » The Reformulation-Optimization Software Engine |
214
click to vote
ACL2
2006
ACM
16 years 9 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
199
click to vote
ASPLOS
2006
ACM
16 years 9 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
166
click to vote
SENSYS
2006
ACM
16 years 9 days ago
2006
ACM
Most sensor network research and software design has been guided by an architectural principle that permits multi-node data fusion on small-form-factor, resource-poor nodes, or mo...
153
click to vote
ACSC
2005
IEEE
15 years 12 months ago
2005
IEEE
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
171
click to vote
CLUSTER
2005
IEEE
15 years 12 months ago
2005
IEEE
With several recent initiatives in the protocol offloading technology present on network adapters, the user market is now distributed amongst various technology levels including r...