1543 search results - page 138 / 309 » Using a Groupware Space for Distributed Requirements Enginee... |
157
Voted
CIDR
2007
15 years 5 months ago
2007
We present a “black-box” approach to estimating query cardinality that has no knowledge of query execution plans and data distribution, yet provides accurate estimates. It doe...
144
Voted
MOMPES
2006
IEEE
15 years 9 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
148
Voted
ISSTA
1998
ACM
15 years 7 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
123
Voted
CN
2004
15 years 3 months ago
2004
Distributed Web-server systems have been widely used to provide effective Internet services. The management of these systems requires dynamic controls of the Web traffic. With the...
124
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
A new dynamic vector approach for the selection and management of the configuration of a reconfigurable superscalar processor is proposed. This new method improves on previous wor...