Sciweavers

IMCSIT
2010
13 years 10 months ago
Tools for syntactic concordancing
Concordancers are tools that display the immediate context for the occurrences of a given word in a corpus. Also called KWIC
Violeta Seretan, Eric Wehrli
IMCSIT
2010
13 years 10 months ago
Semi-Automatic Extension of Morphological Lexica
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
Tobias Kaufmann, Beat Pfister
ICWE
2010
Springer
13 years 10 months ago
Linking Related Documents: Combining Tag Clouds and Search Queries
Nowadays, Web encyclopedias suffer from a high bounce rate. Typically, users come to an encyclopaedia from a search engine and upon reading the first page on the site they leave it...
Christoph Trattner, Denis Helic
ERSA
2010
187views Hardware» more  ERSA 2010»
13 years 10 months ago
An Open Source Circuit Library with Benchmarking Facilities
In this paper, we introduce the open-source PivPav backend tool for reconfigurable computing. Essentially, PivPav provides an interface to a library of digital circuits that are ke...
Mariusz Grad, Christian Plessl
TAICPART
2010
IEEE
126views Education» more  TAICPART 2010»
13 years 10 months ago
Improved Testing through Refactoring: Experience from the ProTest Project
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
Huiqing Li, Simon J. Thompson
STTT
2010
122views more  STTT 2010»
13 years 10 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...
SIGOPS
2010
162views more  SIGOPS 2010»
13 years 10 months ago
Visual and algorithmic tooling for system trace analysis: a case study
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
Wim De Pauw, Steve Heisig
SIGMOD
2010
ACM
208views Database» more  SIGMOD 2010»
13 years 10 months ago
An automated, yet interactive and portable DB designer
Tuning tools attempt to configure a database to achieve optimal performance for a given workload. Selecting an optimal set of physical structures is computationally hard since it ...
Ioannis Alagiannis, Debabrata Dash, Karl Schnaitte...
SAT
2010
Springer
174views Hardware» more  SAT 2010»
13 years 10 months ago
A System for Solving Constraint Satisfaction Problems with SMT
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
Miquel Bofill, Josep Suy, Mateu Villaret
REFSQ
2010
Springer
13 years 10 months ago
Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources
Abstract. [Context and motivation] Natural language is the main representation means of industrial requirements documents, which implies that requirements documents are inherently ...
Benedikt Gleich, Oliver Creighton, Leonid Kof