6054 search results - page 970 / 1211 » Implementation of Andorra-based Languages |
131
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
137
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
146
Voted
CLUSTER
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— As the datasets used to fuel modern scientific discovery grow increasingly large, they become increasingly difficult to manage using conventional software. Parallel d...
129
Voted
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
This article addresses a question regarding relevant information in a social media such as a wiki that can contain huge amount of text, written in slang or in natural language, wi...
126
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...