6201 search results - page 1047 / 1241 » Implementation of Axiomatic Language |
217
click to vote
IPPS
2002
IEEE
16 years 1 days ago
2002
IEEE
Short vector SIMD instructions on recent microprocessors, such as SSE on Pentium III and 4, speed up code but are a major challenge to software developers. We present a compiler t...
179
Voted
ISSRE
2002
IEEE
16 years 1 days ago
2002
IEEE
Spreadsheet languages are widely used by a variety of end users to perform many important tasks. Despite their perceived simplicity, spreadsheets often contain faults. Furthermore...
249
click to vote
ITCC
2002
IEEE
16 years 23 hour ago
2002
IEEE
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...
225
Voted
LICS
2002
IEEE
16 years 21 hour ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
193
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...