848 search results - page 106 / 170 » A Generative Programming Approach to Developing DSL Compiler... |
117
Voted
TSE
2008
15 years 17 days ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
111
Voted
CODES
2008
IEEE
15 years 7 months ago
2008
IEEE
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
135
Voted
NIPS
1994
15 years 2 months ago
1994
Deformable models are an attractive approach to recognizing nonrigid objects which have considerable within class variability. However, there are severe search problems associated...
137
Voted
DEDS
2000
15 years 14 days ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
77
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
— In this paper, we propose a new approach for computing force-closure grasps of two-dimensional and threedimensional objects. Assuming n hard-finger contact with Coulomb fricti...