5377 search results - page 883 / 1076 » Programming Languages For Interactive Computing |
FPL
2009
Springer
15 years 8 months ago
2009
Springer
The reconfigurable mesh model for massively parallel computing has recently been rediscovered and proposed as the basis of a practical many-core architecture. With this paper, we...
120
Voted
WCRE
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes ongoing work toward the development of a standard software exchange format (SEF), for exchanging information among tools that analyze computer programs. A par...
161
Voted
ARTS
1997
Springer
15 years 7 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
119
Voted
ICDT
1997
ACM
15 years 7 months ago
1997
ACM
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...
88
Voted
PNPM
1989
15 years 7 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...