Sciweavers

3879 search results - page 43 / 776
» PyPBS design and methodologies
Sort
View
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
14 years 10 months ago
A methodology for optimal semi-active suspension systems performance evaluation
This paper concerns the study of the optimal performance computation of a semi-active suspension evaluated in terms of comfort and handling performances. To this aim the semi-activ...
Charles Poussot-Vassal, Sergio M. Savaresi, Cristi...
DAC
1996
ACM
15 years 8 months ago
Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
Jordi Cortadella, Michael Kishinevsky, Alex Kondra...
ATAL
2007
Springer
15 years 7 months ago
Strategy recommender agents (ALEX) - the methodology
Agents for Alignment into strategy Experience (ALEX agents), a type of recommender agent (RA), are proposed here as a means of helping employees to perform tasks in line with the ...
Ronald Uriel Ruiz Ordóñez, Josep Llu...
EMSOFT
2004
Springer
15 years 7 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
TSE
2002
119views more  TSE 2002»
15 years 3 months ago
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology
Although there has been recent research into ways to design environments that enable end users to create their own programs, little attention has been given to helping these end u...
Margaret M. Burnett, Andrei Sheretov, Bing Ren, Gr...