3091 search results - page 376 / 619 » The Microsoft Relational Engine |
196
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
177
click to vote
ASWEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
198
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Personalized information agents can help overcome some of the limitations of communal Web information sources such as portals and search engines. Two important components of these...
171
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Power consumption is an important design parameter for embedded and portable systems. Software-controlled (or dynamic) power management (DPM) has recently emerged as an attractive...
178
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we investigate some properties and algorithms related to a text sparsification technique based on the identification of local maxima in the given string. As the numb...