Sciweavers

4716 search results - page 620 / 944
» Iterative-free program analysis
Sort
View
CDC
2010
IEEE
124views Control Systems» more  CDC 2010»
15 years 1 months ago
A relaxation of Lyapunov conditions and controller synthesis for discrete-time periodic systems
This paper proposes a novel approach to stability analysis and controller synthesis for discrete-time periodically time-varying systems. Firstly, a relaxation of standard Lyapunov ...
Christoph Bohm, Mircea Lazar, Frank Allgöwer
LRE
2010
98views more  LRE 2010»
15 years 1 months ago
How to pick out token instances of English verb-particle constructions
We propose a method for automatically identifying individual instances of English verb-particle constructions (VPCs) in raw text. Our method employs the RASP parser and analysis of...
Su Nam Kim, Timothy Baldwin
MICRO
2009
IEEE
168views Hardware» more  MICRO 2009»
16 years 1 months ago
Ordering decoupled metadata accesses in multiprocessors
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
Hari Kannan
SAS
2005
Springer
114views Formal Methods» more  SAS 2005»
15 years 12 months ago
Type-Safe Optimisation of Plugin Architectures
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
Neal Glew, Jens Palsberg, Christian Grothoff
CLUSTER
2003
IEEE
15 years 11 months ago
Compiler Optimized Remote Method Invocation
We further increase the efficiency of Java RMI programs. Where other optimizing re-implementations of RMI use pre-processors to create stubs and skeletons and to create class spe...
Ronald Veldema, Michael Philippsen