7961 search results - page 1082 / 1593 » Input-Output Model Programs |
218
click to vote
VL
2005
IEEE
16 years 12 days ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
182
click to vote
SC
2005
ACM
16 years 12 days ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
143
click to vote
KES
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This research develops an optimal planning model for pump-treatinject based groundwater remediation systems. Optimizing the design of the pump-treat-inject system is a no...
181
Voted
CCS
2004
ACM
16 years 7 days ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
177
click to vote
CP
2004
Springer
16 years 7 days ago
2004
Springer
It is well known that the ratio of the number of clauses to the number of variables in a random k-SAT instance is highly correlated with the instance’s empirical hardness. We con...