4781 search results - page 227 / 957 » Complexity at large |
112
click to vote
PDIS
1994
IEEE
15 years 4 months ago
1994
IEEE
Many new database applications require very large volumes of data. Mariposa is a data base system under construction at Berkeley responding to this need. Mariposa objects can be s...
101
Voted
HVC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
130
Voted
OPODIS
2007
15 years 2 months ago
2007
This report describes a necessary and sufficient test for the schedulability of a set of sporadic harddeadline tasks on a multiprocessor platform, using any of a variety of schedu...
114
Voted
MMM
2008
Springer
15 years 7 months ago
2008
Springer
Effective similarity search in multi-media time series such as video or audio sequences is important for content-based multi-media retrieval applications. We propose a framework th...
DEXAW
1999
IEEE
15 years 5 months ago
1999
IEEE
Internet systems provide a variety of ways to exchange information, contain large amounts and variety of data, and have become quite complex, making them vulnerable to attacks fro...