89
Voted
ITA
2007
15 years 14 days 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...
74
Voted
ITA
2007
15 years 14 days ago
2007
87
Voted
ITA
2007
15 years 14 days 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...
101
Voted
ITA
2007
15 years 14 days 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...
89
Voted
SP
2008
IEEE
15 years 14 days 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...
121
click to vote
SCN
2008
Springer
15 years 15 days 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
15 years 15 days ago
2008
Springer
167
Voted
SCN
2008
Springer
15 years 15 days 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...
87
Voted
SCN
2008
Springer
15 years 15 days ago
2008
Springer
98
Voted
SCN
2008
Springer
15 years 15 days ago
2008
Springer