1097 search results - page 151 / 220 » Revision Programming = Logic Programming Integrity Constra... |
132
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
130
click to vote
CASES
2004
ACM
15 years 7 months ago
2004
ACM
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...
113
click to vote
ISAAC
1992
Springer
15 years 7 months ago
1992
Springer
In the multilevel generalized assignment problem (MGAP) agents can perform tasks at more than one efficiency level. Important manufacturing problems, such as lot sizing, can be ea...
149
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
117
click to vote
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
For memory constrained embedded systems code size is at least as important as performance. One way of increasing code density is to exploit compact instruction formats, e.g. ARM T...