2520 search results - page 325 / 504 » Model-checking behavioral programs |
123
Voted
IPPS
2010
IEEE
15 years 10 days ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
112
click to vote
TOOLS
2010
IEEE
15 years 9 days ago
2010
IEEE
While traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of v...
139
Voted
GW
2009
Springer
15 years 6 days ago
2009
Springer
In this paper we focus on the analysis of sound producing gestures in the musical domain. We investigate the behavior of intraoral pressure exerted by a trumpet performer in the pr...
114
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...
104
click to vote
ACL
2011
14 years 6 months ago
2011
We investigate full-scale shortest-derivation parsing (SDP), wherein the parser selects an analysis built from the fewest number of training fragments. Shortest derivation parsing...