Sciweavers

4178 search results - page 448 / 836
» Similarity Patterns in Language
Sort
View
CC
2004
Springer
127views System Software» more  CC 2004»
16 years 5 days ago
Analyzing Memory Accesses in x86 Executables
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
Gogul Balakrishnan, Thomas W. Reps
175
Voted
LCPC
2004
Springer
16 years 4 days ago
Trimaran: An Infrastructure for Research in Instruction-Level Parallelism
Trimaran is an integrated compilation and performance monitoring infrastructure. The architecture space that Trimaran covers is characterized by HPL-PD, a parameterized processor a...
Lakshmi N. Chakrapani, John C. Gyllenhaal, Wen-mei...
CSB
2003
IEEE
111views Bioinformatics» more  CSB 2003»
16 years 2 days ago
A Contradiction-Based Framework for Testing Gene Regulation Hypotheses
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
Steve Racunas, Nigam Shah, Nina V. Fedoroff
ITCC
2002
IEEE
15 years 11 months ago
Web-Based Information Access: Multilingual Automatic Authoring
The needs for managing similar documents in different languages increases with the growing amounts of electronic information available in documents of the same type (e.g. news str...
Roberto Basili, Maria Teresa Pazienza, Fabio Massi...
ICALP
2010
Springer
15 years 11 months ago
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
Ivan Lanese, Jorge A. Pérez, Davide Sangior...