Sciweavers

4209 search results - page 314 / 842
» Abstract Dialectical Frameworks
Sort
View
INTETAIN
2009
Springer
16 years 1 months ago
Experiences with Interactive Multi-touch Tables
Abstract. Interactive multi-touch tables can be a powerful means of communication for collaborative work as well as an engaging environment for competition. Through enticing gamepl...
Wim Fikkert, Michiel Hakvoort, Paul E. van der Vet...
ISORC
2008
IEEE
16 years 1 months ago
Compositional Feasibility Analysis of Conditional Real-Time Task Models
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
Madhukar Anand, Arvind Easwaran, Sebastian Fischme...
PIMRC
2008
IEEE
16 years 1 months ago
Analysis of three-parameter diversely polarized array manifold
Abstract—An investigative study of three–parameter diversely polarized array manifold is presented in this paper. With a polarization diversity, an extra degree of signal discr...
Supawat Supakwong, Athanassios Manikas, Anthony G....
IPPS
2007
IEEE
16 years 28 days ago
Applying IC-Scheduling Theory to Familiar Classes of Computations
Earlier work has developed the underpinnings of IC-Scheduling Theory, an algorithmic framework for scheduling computations having intertask dependencies for Internet-based computi...
Gennaro Cordasco, Grzegorz Malewicz, Arnold L. Ros...
CAV
2007
Springer
104views Hardware» more  CAV 2007»
16 years 25 days ago
Revamping TVLA: Making Parametric Shape Analysis Competitive
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly ...