Sciweavers

219 search results - page 35 / 44
» Combinatorial Complexity of Regular Languages
Sort
View
SSIRI
2010
14 years 8 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
DATE
2006
IEEE
126views Hardware» more  DATE 2006»
15 years 4 months ago
Communication and co-simulation infrastructure for heterogeneous system integration
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
Guang Yang 0004, Xi Chen, Felice Balarin, Harry Hs...
HPDC
1993
IEEE
15 years 2 months ago
An Analysis of Distributed Computing Software and Hardware for Applications in Computational Physics
We have implemented a set of computational physics codes on a network of IBM RS/6000 workstations used as a distributed parallel computer. We compare the performance of the codes ...
Paul D. Coddington
NIPS
2001
14 years 11 months ago
Hyperbolic Self-Organizing Maps for Semantic Navigation
We introduce a new type of Self-Organizing Map (SOM) to navigate in the Semantic Space of large text collections. We propose a "hyperbolic SOM" (HSOM) based on a regular...
Jörg Ontrup, Helge Ritter
ICLP
2005
Springer
15 years 3 months ago
Techniques for Scaling Up Analyses Based on Pre-interpretations
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
John P. Gallagher, Kim S. Henriksen, Gourinath Ban...