Sciweavers

8808 search results - page 1604 / 1762
» Process of Software Evolution
Sort
View
139
Voted
IEICET
2006
114views more  IEICET 2006»
15 years 5 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
172
Voted
CN
2007
148views more  CN 2007»
15 years 5 months ago
Using taxonomies for content-based routing with ants
Although the ant metaphor has been successfully applied to routing of data packets both in wireless and fixed networks, little is known yet about its appropriateness for search i...
Elke Michlmayr, Arno Pany, Gerti Kappel
144
Voted
COMGEO
2007
ACM
15 years 5 months ago
A package for exact kinetic data structures and sweepline algorithms
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...
Daniel Russel, Menelaos I. Karavelas, Leonidas J. ...
109
Voted
COMJ
2007
91views more  COMJ 2007»
15 years 5 months ago
A Camera-Based Music-Making Tool for Physical Rehabilitation
The therapeutic effects of playing music are being recognized increasingly in the field of rehabilitation medicine. People with physical disabilities, however, often do not have ...
Mikhail Gorman, Amir Lahav, Elliot Saltzman, Margr...
IJES
2006
99views more  IJES 2006»
15 years 5 months ago
Dynamic reconfiguration for management of radiation-induced faults in FPGAs
This paper describes novel methods of exploiting the partial, dynamic reconfiguration capabilities of Xilinx Virtex V1000 FPGAs to manage single-event upset (SEU) faults due to rad...
Maya Gokhale, Paul Graham, Michael J. Wirthlin, Da...
« Prev « First page 1604 / 1762 Last » Next »