ITA
2007
13 years 8 months ago
2007
This note is about functions f : Aω → Bω whose graph is recognized by a B¨uchi finite automaton on the product alphabet A × B. These functions are Baire class 2 in the Bair...
ITA
2007
13 years 8 months ago
2007
ITA
2007
13 years 8 months ago
2007
We explicit the link between the computer arithmetic problem of providing correctly rounded algebraic functions and some diophantine approximation issues. This allows to get bounds...
ITA
2007
13 years 8 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
SP
2008
IEEE
13 years 8 months ago
2008
IEEE
f abstraction (hardware) to the highest (people). This issue's theme encompasses this entire spectrum. The lead author of each article resides in the Scalable Computing Resear...
SCN
2008
Springer
13 years 8 months ago
2008
Springer
The Multimedia Broadcast Multicast Service (MBMS) has been included in the 3GGP architecture to provide broadcast/multicast services. In the 3GPP Long Term Evolution, the evolved M...
SCN
2008
Springer
13 years 8 months ago
2008
Springer
SCN
2008
Springer
13 years 8 months ago
2008
Springer
Relative location information helps build vehicle topology maps. Such maps provide location information of nearby vehicles to drivers. In building a vehicle topology, one must cons...
SCN
2008
Springer
13 years 8 months ago
2008
Springer
SCN
2008
Springer
13 years 8 months ago
2008
Springer