12052 search results - page 666 / 2411 » computing 2010 |
189
click to vote
ASM
2010
ASM
16 years 2 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
155
click to vote
HYBRID
2010
Springer
16 years 2 months ago
2010
Springer
In this talk I present my own perspective on the beginning (I refer mostly to the period 1988-1998) of hybrid systems research at the computer science side, focusing on the contri...
174
click to vote
BIRTHDAY
2010
Springer
16 years 23 hour ago
2010
Springer
Domain Patrick Cousot2,3 , Radhia Cousot1,3 , and Laurent Mauborgne3,4 1 Centre National de la Recherche Scientifique 2 Courant Institute of Mathematical Sciences, New York Univer...
246
click to vote
LION
2010
Springer
16 years 2 hour ago
2010
Springer
This paper presents a column generation heuristic for the general vehicle routing problem (GVRP), a combined load acceptance and rich vehicle routing problem incorporating various ...
201
click to vote
ANTS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. For K3 surfaces, we derive some conditions the characteristic polynomial of the Frobenius on the ´etale cohomology must satisfy. These conditions may be used to speed up...