Sciweavers

15155 search results - page 2379 / 3031
» System Software
Sort
View
185
Voted
DIAGRAMS
2008
Springer
15 years 9 months ago
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
Sergio Gutiérrez Santos, Darren Pearce, Eir...
177
Voted
SIGMETRICS
2008
ACM
129views Hardware» more  SIGMETRICS 2008»
15 years 7 months ago
Fine-grained energy profiling for power-aware application design
Significant opportunities for power optimization exist at application design stage and are not yet fully exploited by system and application designers. We describe the challenges ...
Aman Kansal, Feng Zhao
264
Voted
PLDI
2005
ACM
16 years 26 days ago
Scalable statistical bug isolation
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander ...
206
Voted
SIGUCCS
2000
ACM
15 years 11 months ago
Approaches to Computer Lab Management: Lockdown vs. Freedom
Basic approaches to computer lab management range along a spectrum from total lockdown of lab computers to total freedom. Total lockdown, which can be implemented with system perm...
Christopher Jones, Yasemin Tunc, Deborah Cherry
KI
2008
Springer
15 years 7 months ago
On Restaurants and Requirements: How Requirements Engineering may be Facilitated by Scripts
Requirements engineering is a central part of software projects. It is assumed that two third of all errors in software projects are caused by forgotten requirements or mutual misu...
Christoph Peylo
« Prev « First page 2379 / 3031 Last » Next »