Sciweavers

1127 search results - page 13 / 226
» The XIS Generative Programming Techniques
Sort
View
ICSM
2007
IEEE
14 years 4 months ago
SCARPE: A Technique and Tool for Selective Capture and Replay of Program Executions
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
Shrinivas Joshi, Alessandro Orso
TCAD
2008
97views more  TCAD 2008»
13 years 9 months ago
Encoding Large Asynchronous Controllers With ILP Techniques
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
Josep Carmona, Jordi Cortadella
EATIS
2007
ACM
14 years 1 months ago
A methodology to design information retrieval systems (MDIRS)
MDIRS is methodology to define the actors and the steps to build efficiently information retrieval (IR) System. MDRIS main mission is to analyze, develop and evaluate mechanisms s...
João Ferreira, Alberto Silva, José D...
LOPSTR
1994
Springer
14 years 1 months ago
Using Call/Exit Analysis for Logic Program Transformation
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
Dmitri Boulanger, Maurice Bruynooghe
ICCAD
1994
IEEE
105views Hardware» more  ICCAD 1994»
14 years 1 months ago
Register assignment through resource classification for ASIP microcode generation
Application Specific Instruction-Set Processors (ASIPs) offer designers the ability for high-speed data and control processing with the added flexibility needed for late design sp...
Clifford Liem, Trevor C. May, Pierre G. Paulin