Sciweavers

2715 search results - page 205 / 543
» An Implementation of Narrowing Strategies
Sort
View
CIMCA
2008
IEEE
16 years 1 months ago
Space Based Architecture for Numerical Solving
A strategy for the analytical solving of ordinary differential equations and a first implementation of it based on mobile agent community, using jini javaspace framework, are pre...
Cyril Dumont, Fabrice Mourlin
ICSE
2007
IEEE-ACM
16 years 27 days ago
TAXI - A Tool for XML-Based Testing
We present the tool TAXI which implements the XMLbased Partition Testing approach for the automated generation of XML Instances conforming to a given XML Schema. In addition it pr...
Antonia Bertolino, Jinghua Gao, Eda Marchetti, And...
LOPSTR
2007
Springer
16 years 26 days ago
Aggregates for CHR through Program Transformation
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
Peter Van Weert, Jon Sneyers, Bart Demoen
ISCAS
2006
IEEE
93views Hardware» more  ISCAS 2006»
16 years 23 days ago
Phase-tracking loop based on delta-sigma oversampling architecture
Abstract— This paper presents a new oversampling architecture for implementing phase-tracking loop that is commonly utilized for position sensors such that synchro, resolver, and...
Yuichiro Orino, Minoru Kuribayashi Kurosawa, Takas...
SAINT
2006
IEEE
16 years 22 days ago
Comparison of Transmission Schemes for Framed ALOHA based RFID Protocols
The performance of RFID anti-collision protocols that are based on framed ALOHA depends on a transmission scheme that controls access to the shared channel. In this paper, we outl...
Christian Floerkemeier, Matthias Wille