754 search results - page 75 / 151 » Architectural Abstractions for Hybrid Programs |
100
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
Widespread adaptation of shared memory programming for High Performance Computing has been inhibited by a lack of standardization and the resulting portability problems between pl...
119
click to vote
DALT
2003
Springer
15 years 5 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
106
click to vote
CP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Although constraint programming offers a wealth of strong, generalpurpose methods, in practice a complex, real application demands a person who selects, combines, and ref...
97
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—The main task in analyzing a switching network design (including circuit-, multirate-, and photonic-switching) is to determine the minimum number of some switching compo...
95
Voted
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...