Sciweavers

7956 search results - page 346 / 1592
» Into the Future
Sort
View
ICSE
2000
IEEE-ACM
15 years 10 months ago
Formal specification: a roadmap
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
Axel van Lamsweerde
ISCA
2000
IEEE
118views Hardware» more  ISCA 2000»
15 years 10 months ago
Smart Memories: a modular reconfigurable architecture
Trends in VLSI technology scaling demand that future computing devices be narrowly focused to achieve high performance and high efficiency, yet also target the high volumes and lo...
Ken Mai, Tim Paaske, Nuwan Jayasena, Ron Ho, Willi...
LCN
2000
IEEE
15 years 10 months ago
Load-Balanced Routing and Scheduling for Real-Time Traffic in Packet-Switch Networks
Future computer networks are expected to carry bursty real-time traffic with stringent time-delay requirements. Popular shortest-path routing protocols have the disadvantage of ca...
Sangman Bak, Albert Mo Kim Cheng, Jorge Arturo Cob...
RSCTC
2000
Springer
143views Fuzzy Logic» more  RSCTC 2000»
15 years 10 months ago
Rough Sets for Uncertainty Reasoning
Abstract. Rough sets have traditionally been applied to decision (classification) problems. We suggest that rough sets are even better suited for reasoning. It has already been sho...
S. K. Michael Wong, Cory J. Butz
VLDB
2000
ACM
113views Database» more  VLDB 2000»
15 years 10 months ago
The Zero Latency Enterprise
Today's Internet economy has primed customers to expect immediate access and immediate results. But instant results are difficult to achieve when your customers want up-to-th...
Dave Liles