877 search results - page 103 / 176 » Structural Cut Elimination |
ISCA
2005
IEEE
14 years 1 months ago
2005
IEEE
Lossless data compression techniques can potentially free up more than 50% of the memory resources. However, previously proposed schemes suffer from high access costs. The propose...
ISAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
APSEC
2002
IEEE
14 years 20 days ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
OOPSLA
1999
Springer
13 years 12 months ago
1999
Springer
Java programs perform many synchronization operations on data structures. Some of these synchronizations are unnecessary; in particular, if an object is reachable only by a single ...
ICRA
1993
IEEE
13 years 11 months ago
1993
IEEE
This work is focused on the analysis of manipulators with both joint and link flexibility. Due to the different order of joint and link stiffness, the full-order nonlinear system ...