Sciweavers

3335 search results - page 539 / 667
» Grid result checking
Sort
View
TACAS
2004
Springer
107views Algorithms» more  TACAS 2004»
15 years 9 months ago
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
Abstract. We study schedulability problems of timed systems with nonuniformly recurring computation tasks. Assume a set of real time tasks whose best and worst execution times, and...
Pavel Krcál, Wang Yi
WAOA
2004
Springer
85views Algorithms» more  WAOA 2004»
15 years 9 months ago
A PTAS for Delay Minimization in Establishing Wireless Conference Calls
A prevailing feature of mobile telephony systems is that the location of a mobile user may be unknown. Therefore, when the system has to establish a call between users, it may nee...
Leah Epstein, Asaf Levin
CGI
2003
IEEE
15 years 9 months ago
An Efficient Mesh Simplification Method with Feature Detection for Unstructured Meshes and Web Graphics
This paper presents an efficient method of mesh simplification for geometric 3D models. The transmission of 3D models on the Internet is an important task. The data size of a 3D m...
Bing-Yu Chen, Tomoyuki Nishita
COMPSAC
2003
IEEE
15 years 9 months ago
Automated Metamorphic Testing
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
Arnaud Gotlieb, Bernard Botella
ICDCS
2003
IEEE
15 years 9 months ago
A Generic Distributed Broadcast Scheme in Ad Hoc Wireless Networks
—We propose a generic framework for distributed broadcasting in ad hoc wireless networks. The approach is based on selecting a small subset of nodes to form a forward node set to...
Jie Wu, Fei Dai