1332 search results - page 133 / 267 » A generative programming approach to developing pervasive co... |
144
Voted
ICS
2009
Tsinghua U.
15 years 9 months ago
2009
Tsinghua U.
Matching regular expressions (regexps) is a very common workload. For example, tokenization, which consists of recognizing words or keywords in a character stream, appears in ever...
132
Voted
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
An important class of problems used widely in both the embedded systems and scientific domains perform memory intensive computations on large data sets. These data sets get to be ...
111
click to vote
PODS
2006
ACM
16 years 2 months ago
2006
ACM
Data exchange deals with inserting data from one database into another database having a different schema. We study and solve a central computational problem of data exchange, nam...
146
Voted
MOBIQUITOUS
2008
IEEE
15 years 9 months ago
2008
IEEE
The big challenge related to the contemporary research on ubiquitous and pervasive computing is that of seamless integration. For the next generation of ubiquitous and distributed...
160
click to vote
RTA
2010
Springer
15 years 6 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...