3116 search results - page 150 / 624 » Positively dependent types |
115
click to vote
EUMAS
2006
15 years 5 months ago
2006
Abstract. Support for new forms of organization and social interaction requires understanding the influence of structure on behavior. Goal dependencies indicate some relationship b...
141
click to vote
IV
2008
IEEE
15 years 11 months ago
2008
IEEE
With the increasing complexity of in-car communication architectures, their diagnostics have become essential for automotive development and maintenance. In order to help engineer...
130
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
Dependence-aware transactional memory (DATM) is a recently proposed model for increasing concurrency of memory transactions without complicating their interface. DATM manages depe...
136
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
138
click to vote
ICDT
2010
ACM
15 years 7 months ago
2010
ACM
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...