2223 search results - page 417 / 445 » Events in Property Patterns |
131
click to vote
TAICPART
2010
IEEE
15 years 8 days ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
100
click to vote
TPDS
2010
15 years 8 days ago
2010
—Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumption that such a system has to satisfy for a common lea...
156
click to vote
NECO
2011
14 years 8 months ago
2011
The neocortex has a remarkably uniform neuronal organization, suggesting that common principles of processing are employed throughout its extent. In particular, the patterns of co...
123
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
130
click to vote
IANDC
2008
15 years 1 months ago
2008
The problem of computing periods in words, or finite sequences of symbols from a finite alphabet, has important applications in several areas including data compression, string se...