Sciweavers

859 search results - page 149 / 172
» Explaining Synthesized Software
Sort
View
MICRO
1997
IEEE
90views Hardware» more  MICRO 1997»
14 years 5 days ago
ProfileMe: Hardware Support for Instruction-Level Profiling on Out-of-Order Processors
Profile data is valuable for identifying performance bottlenecks and guiding optimizations. Periodic sampling of a processor's performance monitoring hardware is an effective...
Jeffrey Dean, James E. Hicks, Carl A. Waldspurger,...
FLAIRS
2007
13 years 11 months ago
Semantic Relations: Modelling Issues, Proposals and Possible Applications
Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. Th...
Francisco Álvarez, Antonio Vaquero, Fernand...
FAST
2007
13 years 10 months ago
A Five-Year Study of File-System Metadata
For five years, we collected annual snapshots of filesystem metadata from over 60,000 Windows PC file systems in a large corporation. In this paper, we use these snapshots to s...
Nitin Agrawal, William J. Bolosky, John R. Douceur...
FORTE
2008
13 years 10 months ago
Program Repair Suggestions from Graphical State-Transition Specifications
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
Farn Wang, Chih-Hong Cheng
PDPTA
2007
13 years 10 months ago
Mobile Services Based on Client-Server or P2P Architectures facing Issues of Context-Awareness and Heterogeneous
With the advent of mobile computing and mobile services becoming more widespread and more complex, the development process of those services requires an ever more important focus o...
Robert Schmohl, Uwe Baumgarten