3806 search results - page 695 / 762 » The Power of Process |
186
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
142
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Supervisory Control And Data Acquisition (SCADA) systems are real-time process control systems that are widely deployed throughout critical infrastructure sectors includi...
169
click to vote
ISTCS
1992
Springer
15 years 8 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
181
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: The PathOlogist is a new tool designed to transform large sets of gene expression data into quantitative descriptors of pathway-level behavior. The tool aims to provid...
128
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...