Sciweavers

3547 search results - page 553 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
CAD
2006
Springer
15 years 6 months ago
A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
In this paper, we propose a method which can be used to decompose a 2D or 3D constraint problem into a C-tree. With this decomposition, a geometric constraint problem can be reduc...
Xiao-Shan Gao, Qiang Lin, Gui-Fang Zhang
MMS
2008
15 years 6 months ago
A framework for efficient and rapid development of cross-platform audio applications
CLAM is a C++ framework that offers a complete development and research platform for the audio and music domain. om offering an abstract model for audio systems, it also includes ...
Xavier Amatriain, Pau Arumi, David Garcia
SAC
2006
ACM
15 years 6 months ago
Towards reliable OSGi framework and applications
Upcoming ubiquitous computing systems are required to operate in dynamic, diverse, unverified, and unpredictable operating environment. The OSGi (Open Service Gateway initiative) ...
Heejune Ahn, Hyukjun Oh, Chang Oan Sung
JIPS
2007
88views more  JIPS 2007»
15 years 6 months ago
Interface Development for the Point-of-care device based on SOPC
: This paper describes the development of the sensor interface and driver program for a point of care (POC) device. The proposed POC device comprises an ARM9 embedded processor and...
Hong Bum Son, Sung Gun Song, Jae Wook Jung, Chang ...
JUCS
2007
80views more  JUCS 2007»
15 years 6 months ago
Higher-Order Lazy Functional Slicing
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
Nuno F. Rodrigues, Luís Soares Barbosa