623 search results - page 29 / 125 » Relational Parametricity for Control Considered as a Computa... |
161
click to vote
SC
2004
ACM
15 years 11 months ago
2004
ACM
Improving program locality has become increasingly important on modern computer systems. An effective strategy is to group computations on the same data so that once the data are ...
153
click to vote
CDC
2008
IEEE
16 years 19 days ago
2008
IEEE
— In this paper we study the relationship between the parameter θ, used in the design of the MinMax controller, and the conditioning of the approximate algebraic Riccati equatio...
146
click to vote
IJKESDP
2011
14 years 9 months ago
2011
—Today, researches for singing by computer have attracted attention. VOCALOID1 is an application to realize that aim. By inputing lyrics and melody, users can make songs sung by ...
157
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
145
click to vote
NCA
2005
IEEE
15 years 11 months ago
2005
IEEE
Grid information dissemination protocols distribute information about the dynamic state of computational resources throughout interconnected wide area Grids. Performance metrics f...