2496 search results - page 408 / 500 » On covering by translates of a set |
114
click to vote
WSC
2008
15 years 4 months ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
128
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
136
click to vote
HIPEAC
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents a program generator for fast software Viterbi decoders for arbitrary convolutional codes. The input to the generator is a specification of the code and a single...
130
click to vote
ECMDAFA
2008
Springer
15 years 3 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
106
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...