Sciweavers

1481 search results - page 155 / 297
» Software controlled power management
Sort
View
KDD
2009
ACM
167views Data Mining» more  KDD 2009»
16 years 2 months ago
Seven pitfalls to avoid when running controlled experiments on the web
Controlled experiments, also called randomized experiments and A/B tests, have had a profound influence on multiple fields, including medicine, agriculture, manufacturing, and adv...
Thomas Crook, Brian Frasca, Ron Kohavi, Roger Long...
141
Voted
COMPSAC
2009
IEEE
15 years 3 months ago
Modular Certification of Low-Level Intermediate Representation Programs
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang
102
Voted
ARC
2010
Springer
145views Hardware» more  ARC 2010»
15 years 2 months ago
Self-organizing logistics systems
: When a logistics system is "self-organizing" it can function without significant intervention by managers, engineers, or software control. The social insects, such as a...
John J. Bartholdi III, Donald D. Eisenstein, Yun F...
MOBICOM
2004
ACM
15 years 7 months ago
FLSS: a fault-tolerant topology control algorithm for wireless networks
Topology control algorithms usually reduce the number of links in a wireless network, which in turn decreases the degree of connectivity. The resulting network topology is more su...
Ning Li, Jennifer C. Hou
RTAS
1997
IEEE
15 years 6 months ago
QoS Negotiation in Real-Time Systems and Its Application to Automated Flight Control
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
Tarek F. Abdelzaher, Ella M. Atkins, Kang G. Shin