Sciweavers

1327 search results - page 121 / 266
» Data Dependent Circuit Design: A Case Study
Sort
View
ICSE
2009
IEEE-ACM
16 years 7 months ago
The secret life of bugs: Going past the errors and omissions in software repositories
Every bug has a story behind it. The people that discover and resolve it need to coordinate, to get information from documents, tools, or other people, and to navigate through iss...
Jorge Aranda, Gina Venolia
ICS
2010
Tsinghua U.
16 years 3 months ago
Proof-Carrying Data and Hearsay Arguments from Signature Cards
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
Alessandro Chiesa, Eran Tromer
IJFCS
2006
83views more  IJFCS 2006»
15 years 6 months ago
A Simple Alphabet-independent Fm-index
Abstract. We design a succinct full-text index based on the idea of Huffmancompressing the text and then applying the Burrows-Wheeler transform over it. The resulting structure can...
Szymon Grabowski, Gonzalo Navarro, Rafal Przywarsk...
WCRE
2002
IEEE
15 years 11 months ago
A Methodology for Developing Transformations Using the Maintainability Soft-Goal Graph
Over the past few years, we are experiencing a surge of evolution problems related to legacy object-oriented systems. Object orientation provides means for systems to be well-desi...
Ladan Tahvildari, Kostas Kontogiannis
JBI
2006
15 years 6 months ago
Conceptualizing the world: Lessons from history
Throughout history, philosophers, scientists, and other scholars have named and organized the salient elements of the world. These efforts have led to conceptualizations that diff...
Alexa T. McCray