11328 search results - page 182 / 2266 » Timed Branching Processes |
108
Voted
DAGM
2003
Springer
15 years 9 months ago
2003
Springer
233
Voted
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
161
Voted
CONCURRENCY
2010
15 years 1 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
123
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
123
Voted
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...