3521 search results - page 373 / 705 » Algorithmic Control in Concurrent Computations |
155
click to vote
AINA
2010
IEEE
15 years 5 months ago
2010
IEEE
—Virtual machines offer unique advantages to the scientific computing community, such as Quality of Service(QoS) guarantee, performance isolation, easy resource management, and ...
160
click to vote
NDSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents the design and analysis of a multilayer protection scheme against denial-of-service (DoS) attacks in IP telephony enabled enterprise networks. While there are ...
214
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...
144
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
127
click to vote
FDG
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, I will discuss a set of techniques for supporting limited variable binding in behavior-based systems. This adds additional useful expressivity while preserving the ...