Sciweavers

4744 search results - page 481 / 949
» Connected Computing
Sort
View
IWPC
2002
IEEE
15 years 11 months ago
Slicing Aspect-Oriented Software
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
Jianjun Zhao
KR
2010
Springer
15 years 11 months ago
Query and Predicate Emptiness in Description Logics
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank...
CDC
2009
IEEE
161views Control Systems» more  CDC 2009»
15 years 11 months ago
Consensus on homogeneous manifolds
Abstract— The present paper considers distributed consensus algorithms for agents evolving on a connected compact homogeneous (CCH) manifold. The agents track no external referen...
Alain Sarlette, Rodolphe Sepulchre
WOWMOM
2009
ACM
106views Multimedia» more  WOWMOM 2009»
15 years 11 months ago
Proactive radio resource management using optimal stopping theory
In this paper, we focus on proactive radio resource management schemes that retain the quality of the individual connections by pre-reserving the needed resources in a cellular ne...
Marios Poulakis, Stavroula Vassaki, Stathes Hadjie...
FPL
2009
Springer
145views Hardware» more  FPL 2009»
15 years 11 months ago
Area estimation and optimisation of FPGA routing fabrics
This paper presents a methodology for estimating and optimising FPGA routing fabrics using high-level modelling and convex optimisation techniques. Experimental methods for explor...
Alastair M. Smith, George A. Constantinides, Peter...