2520 search results - page 150 / 504 » Model-checking behavioral programs |
177
Voted
GLOBECOM
2010
IEEE
15 years 3 months ago
2010
IEEE
Mobile phones are among the most popular consumer devices and the recent developments of 3G networks and smart phones enable users to watch video programs by subscribing data plan...
129
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
XML has become one of the core technologies for contemporary business applications, especially web-based applications. To facilitate processing of diverse XML data, we propose an ...
115
Voted
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
— Pattern recognition has many applications in design automation. A generalized pattern recognition algorithm is presented in this paper which can efficiently extract similar pat...
145
click to vote
ACMICEC
2007
ACM
15 years 9 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
167
click to vote
PARCO
2003
15 years 6 months ago
2003
Three different partial differential equation (PDE) solver kernels are analyzed in respect to cache memory performance on a simulated shared memory computer. The kernels implement...