2520 search results - page 298 / 504 » Model-checking behavioral programs |
120
click to vote
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
: A powerful and widely-used method for analyzing the performance behavior of parallel programs is event tracing. When an application is traced, performancerelevant events, such as...
84
Voted
EUROPAR
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we discuss the behavior of the replacement mechanism of well-known COMA protocols applied to a loosely-coupled multicomputer system sharing a common bus. We also pres...
106
Voted
OOPSLA
1987
Springer
15 years 6 months ago
1987
Springer
SELF is an object-oriented language for exploratory programming based on a small number of simple and concrete ideas: prototypes, slots, and behavior. Prototypes combine inheritanc...
108
click to vote
ISSA
2008
15 years 4 months ago
2008
"The state of information security as a whole is a disaster, a train wreck". This view is given by Forte and Power (2007) describing the state of information security to...
104
Voted
NIPS
2007
15 years 4 months ago
2007
Most models of decision-making in neuroscience assume an infinite horizon, which yields an optimal solution that integrates evidence up to a fixed decision threshold; however, u...