1636 search results - page 317 / 328 » Reasoning About Quantum Systems |
198
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
Data stream applications have made use of statistical summaries to reason about the data using nonparametric tools such as histograms, heavy hitters, and join sizes. However, rela...
PODS
2005
ACM
15 years 12 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
114
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...