15840 search results - page 302 / 3168 » The Control of Synchronous Systems |
186
click to vote
ICMLC
2010
Springer
15 years 2 months ago
2010
Springer
- This paper presents a learning approach using cerebellar model articulation controller (CMAC) to accommodate faults for a class of multivariable nonlinear systems. A CMAC is prop...
249
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
136
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
TxLinux is a variant of Linux that is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the sc...
141
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Database queries, in particular, event-driven continuous queries, are useful for many pervasive computing applications, such as video surveillance. In order to enable these applic...
120
click to vote
ASE
2008
15 years 4 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...