1541 search results - page 296 / 309 » Tools and Techniques for Model Checking Networked Programs |
IWPC
2005
IEEE
15 years 6 months ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
159
click to vote
SIGMOD
2006
ACM
16 years 16 days ago
2006
ACM
Current application development tools provide completely different programming models for the application server (e.g., Java and J2EE) and the client web browser (e.g., JavaScript...
106
click to vote
IJCNN
2007
IEEE
15 years 6 months ago
2007
IEEE
— Using the classical Parzen window estimate as the target function, the kernel density estimation is formulated as a regression problem and the orthogonal forward regression tec...
107
Voted
CGO
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...
188
click to vote
ETVC
2008
15 years 2 months ago
2008
s of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing Frank Nielsen Ecole Polytechnique, Palaiseau, France Sony CSL, Tokyo, Japan Abstract. We list the abstracts o...