8109 search results - page 174 / 1622 » A Model of Component-Based Programming |
118
Voted
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
— A new sub-space max-monomial modeling scheme for CMOS transistors in sub-micron technologies is proposed to improve the modeling accuracy. Major electrical parameters of CMOS...
137
click to vote
AAAI
2000
15 years 6 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
138
Voted
TAPSOFT
1991
Springer
15 years 8 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
140
Voted
ENTCS
2007
15 years 5 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
134
Voted
PACT
1997
Springer
15 years 9 months ago
1997
Springer
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...