1287 search results - page 65 / 258 » Reduction of Timed Hybrid Systems |
151
Voted
ENTCS
2008
15 years 4 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
113
click to vote
ESA
2004
Springer
15 years 9 months ago
2004
Springer
We consider a scenario where stops are to be placed along an already existing public transportation network in order to improve its attractiveness for the customers. The core probl...
117
click to vote
FSTTCS
1998
Springer
15 years 8 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
121
click to vote
ENTCS
2006
15 years 4 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
141
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper presents the field-programmable gate array (FPGA) implementation of a variant of the LenstraLenstra-Lov´asz (LLL) lattice reduction (LR) algorithm, known as the Cla...