13917 search results - page 2631 / 2784 » Abstraction of Probabilistic Systems |
195
click to vote
WEA
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...
194
click to vote
PLDI
2004
ACM
16 years 13 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
200
click to vote
SAC
2004
ACM
16 years 13 days ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
207
click to vote
SAC
2004
ACM
16 years 13 days ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
217
click to vote
ACNS
2004
Springer
16 years 13 days 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...