Sciweavers

2452 search results - page 167 / 491
» On Reduction of Lagrange Systems
Sort
View
ICCAD
2008
IEEE
98views Hardware» more  ICCAD 2008»
16 years 3 months ago
Scalable and scalably-verifiable sequential synthesis
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...
Alan Mishchenko, Michael L. Case, Robert K. Brayto...
ICCAD
2002
IEEE
117views Hardware» more  ICCAD 2002»
16 years 3 months ago
An energy-conscious algorithm for memory port allocation
Multiport memories are extensively used in modern system designs because of the performance advantages they offer. The increased memory access throughput could lead to significan...
Preeti Ranjan Panda, Lakshmikantam Chitturi
ACSD
2009
IEEE
118views Hardware» more  ACSD 2009»
16 years 28 days ago
Verifying Deadlock- and Livelock Freedom in an SOA Scenario
In a service-oriented architecture (SOA), a service broker assigns a previously published service (stored in a service registry) to a service requester. It is desirable for the co...
Karsten Wolf, Christian Stahl, Janine Ott, Robert ...
165
Voted
AOSD
2009
ACM
16 years 27 days ago
Automated test data generation for aspect-oriented programs
Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no wo...
Mark Harman, Fayezin Islam, Tao Xie, Stefan Wapple...
147
Voted
DAC
2009
ACM
16 years 27 days ago
ARMS - automatic residue-minimization based sampling for multi-point modeling techniques
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...
Jorge Fernandez Villena, Luis Miguel Silveira