1715 search results - page 265 / 343 » How Space Structures Language |
ICALP
1989
Springer
15 years 6 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...
121
Voted
ECOOP
2012
Springer
13 years 5 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 ...
227
click to vote
CP
2009
Springer
16 years 3 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...
145
Voted
ESTIMEDIA
2006
Springer
15 years 6 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...
116
Voted
ECAIW
1994
Springer
15 years 6 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...