Sciweavers

1862 search results - page 299 / 373
» General Architecture for Hardware Implementation of Genetic ...
Sort
View
132
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
122
Voted
ATAL
2009
Springer
15 years 10 months ago
Genius: negotiation environment for heterogeneous agents
In this demo, we present GENIUS, a tool that facilitates research in the area of bilateral multi-issue negotiation. It implements an open architecture allowing easy development an...
Koen V. Hindriks, Catholijn M. Jonker, Sarit Kraus...
87
Voted
MICCAI
2008
Springer
16 years 4 months ago
Parallelized Hybrid TGRAPPA Reconstruction for Real-Time Interactive MRI
Abstract. Real-time parallel MRI reconstruction was demonstrated using a hybrid implementation of the TGRAPPA algorithm. The GRAPPA coefficients were calculated in k-space and appl...
Haris Saybasili, Peter Kellman, J. Andrew Derbys...
130
Voted
DAC
2004
ACM
16 years 4 months ago
Placement feedback: a concept and method for better min-cut placements
The advent of strong multi-level partitioners has made topdown min-cut placers a favored choice for modern placer implementations. We examine terminal propagation, an important st...
Andrew B. Kahng, Sherief Reda
99
Voted
DAC
2005
ACM
16 years 4 months ago
Minimising buffer requirements of synchronous dataflow graphs with model checking
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
Marc Geilen, Twan Basten, Sander Stuijk