EPICURE: A partitioning and co-design framework for reconfigurable computing Fulltext Access 21 Pages 2006
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy Fulltext Access 21 Pages 2006
Supporting lock-free synchronization in Pfair-scheduled real-time systems Fulltext Access 21 Pages 2006
Long-range static directional stress transfer in a cracked, nonlinear elastic crust Fulltext Access 21 Pages 2006
Finding recently frequent itemsets adaptively over online transactional data streams, Fulltext Access 21 Pages 2006
A motion-based scene tree for browsing and retrieval of compressed videos Fulltext Access 21 Pages 2006
Composition of Semantic Web services using Linear Logic theorem proving Fulltext Access 21 Pages 2006
Modeling the short-term unfairness of IEEE 802.11 in presence of hidden terminals Fulltext Access 22 Pages 2006
A semi-static approach to mapping dynamic iterative tasks onto heterogeneous computing systems Fulltext Access 22 Pages 2006
Generalized comparison of graph-based ranking algorithms for publications and authors Fulltext Access 22 Pages 2006
In search of a program generator to implement generic transformations for high-performance computing Fulltext Access 22 Pages 2006
A study of the influence of coverage on the relationship between static and dynamic coupling metrics Fulltext Access 22 Pages 2006
Gaussian Elimination: A case study in efficient genericity with MetaOCaml Fulltext Access 22 Pages 2006
Analysis of a multi-server retrial queue with search of customers from the orbit Fulltext Access 23 Pages 2006
Design and performance evaluation of cross layered MAC and clustering solutions for wireless ad hoc networks Fulltext Access 23 Pages 2006
A biogeochemical model for metabolism and nutrient cycling in a Southeastern Piedmont impoundment Fulltext Access 23 Pages 2006
The effect of error in gridded digital elevation models on the estimation of topographic parameters Fulltext Access 23 Pages 2006
Analysis of soil carbon outcomes from interaction between climate and grazing pressure in Australian rangelands using Range-ASSESS Fulltext Access 23 Pages 2006
B-SCP: A requirements analysis framework for validating strategic alignment of organizational IT based on strategy, context, and process Fulltext Access 23 Pages 2006
Systolic Galois field exponentiation in a multiple-valued logic technique Fulltext Access 23 Pages 2006
Improving power-awareness of pipelined array multipliers using two-dimensional pipeline gating and its application on FIR design Fulltext Access 23 Pages 2006
A comprehensive performance macro-modeling of on-chip RC interconnects considering line shielding effects Fulltext Access 24 Pages 2006
Hierarchical constraint transformation based on genetic optimization for analog system synthesis Fulltext Access 24 Pages 2006
A comprehensive review of nature inspired routing algorithms for fixed telecommunication networks Fulltext Access 24 Pages 2006
Integrating XML and CORBA to support collaborative writing using off-the-shelf editing software Fulltext Access 24 Pages 2006
HeteroMPI: Towards a message-passing library for heterogeneous networks of computers Fulltext Access 24 Pages 2006
Interpretability of first-order linear temporal logics in fork algebras Fulltext Access 24 Pages 2006
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework Fulltext Access 24 Pages 2006
Efficient memory management for concurrent programs that use message passing Fulltext Access 24 Pages 2006
Estimation of primary production in the ocean using a physical–biological coupled ocean carbon cycle model Fulltext Access 25 Pages 2006
jNURBS: An object-oriented, symbolic framework for integrated, meshless analysis and optimal design Fulltext Access 25 Pages 2006
Parameter inference of queueing models for IT systems using end-to-end measurements Fulltext Access 25 Pages 2006
Wired and wireless intrusion detection system: Classifications, good characteristics and state-of-the-art Fulltext Access 25 Pages 2006
Optimizing locality and scalability of embedded Runge–Kutta solvers using block-based pipelining Fulltext Access 25 Pages 2006
Correlation bounds for second-order MAPs with application to queueing network decomposition Fulltext Access 25 Pages 2006
Design and analysis of a class-aware recursive loop scheduler for class-based scheduling Fulltext Access 25 Pages 2006
A selective dynamic compiler for embedded Java virtual machines targeting ARM processors Fulltext Access 26 Pages 2006
Performance analysis of a discrete-time queuing system with a correlated train arrival process Fulltext Access 26 Pages 2006
Approximating multi-skill blocking systems by HyperExponential Decomposition Fulltext Access 26 Pages 2006
SUT-DAM: An integrated software environment for multi-disciplinary geotechnical engineering Fulltext Access 26 Pages 2006
PeCAN: An architecture for users’ privacy-aware electronic commerce contexts on the semantic web Fulltext Access 26 Pages 2006
Analysis of resource transfers in peer-to-peer file sharing applications using fluid models Fulltext Access 26 Pages 2006
What every agent-based modeller should know about floating point arithmetic Fulltext Access 27 Pages 2006
From a B formal specification to an executable code: application to the relational database domain Fulltext Access 27 Pages 2006
Tailorable language for behavioral composition and configuration of software components Fulltext Access 27 Pages 2006
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms Fulltext Access 27 Pages 2006