Sciweavers

2608 search results - page 327 / 522
» Subjects, Models, Languages, Transformations
Sort
View
KBSE
2010
IEEE
15 years 5 months ago
A program differencing algorithm for verilog HDL
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
Adam Duley, Chris Spandikow, Miryung Kim
OOPSLA
2010
Springer
15 years 5 months ago
Back to the futures: incremental parallelization of existing sequential runtime systems
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...
James Swaine, Kevin Tew, Peter A. Dinda, Robert Br...
SIGSOFT
2008
ACM
16 years 7 months ago
Alchemy: transmuting base alloy specifications into implementations
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dou...
ATAL
2009
Springer
16 years 1 months ago
AOR-Simulation.org: cognitive agent simulation
In this paper, we describe an ontologically well-founded agentbased discrete event simulation framework with a high-level rulemulation language and an abstract simulator architect...
Gerd Wagner, Ion-Mircea Diaconescu
CIKM
2009
Springer
16 years 1 months ago
The effect of negation on sentiment analysis and retrieval effectiveness
We investigate the problem of determining the polarity of sentiments when one or more occurrences of a negation term such as “not” appear in a sentence. The concept of the sco...
Lifeng Jia, Clement T. Yu, Weiyi Meng