1715 search results - page 265 / 343 » How Space Structures Language |
150
click to vote
ICALP
1989
Springer
15 years 10 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
164
click to vote
ECOOP
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. The Jetpack framework is Mozilla’s newly-introduced extension development technology. Motivated primarily by the need to improve how scriptable extensions (also called ...
285
click to vote
CP
2009
Springer
16 years 6 months ago
2009
Springer
When interval methods handle systems of equations over the reals, two main types of filtering/contraction algorithms are used to reduce the search space. When the system is well-co...
187
click to vote
ESTIMEDIA
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
153
click to vote
ECAIW
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...