3653 search results - page 375 / 731 » On Recognizable Timed Languages |
171
click to vote
ASPLOS
1992
ACM
15 years 11 months ago
1992
ACM
We describe and evaluate a strategy for declustering the parity encoding in a redundant disk array. This declustered parity organization balances cost against data reliability and...
190
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
A data structure is presented for the Mergeable Dictionary abstract data type, which supports the following operations on a collection of disjoint sets of totally ordered data: Pr...
336
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
Inefficient use of memory, including leaks and bloat, remain a significant challenge for C and C++ developers. Applications with these problems become slower over time as their wo...
199
click to vote
IEEEIAS
2008
IEEE
16 years 1 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
191
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...