Sciweavers

5622 search results - page 757 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
FPL
2003
Springer
95views Hardware» more  FPL 2003»
15 years 12 months ago
Reconfigurable Hardware SAT Solvers: A Survey of Systems
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
Iouliia Skliarova, António de Brito Ferrari
KBSE
2010
IEEE
15 years 4 months ago
VikiBuilder: end-user specification and generation of visual wikis
With the need to make sense out of large and constantly growing information spaces, tools to support information management are becoming increasingly valuable. In prior work we pr...
Christian Hirsch, John G. Hosking, John C. Grundy
CN
2010
149views more  CN 2010»
15 years 6 months ago
A collaborative P2P scheme for NAT Traversal Server discovery based on topological information
In the current Internet picture more than 70% of the hosts are located behind Network Address Translators (NATs). This is not a problem in the client/server paradigm. However, the...
Rubén Cuevas Rumín, Ángel Cue...
FPL
2007
Springer
138views Hardware» more  FPL 2007»
16 years 25 days ago
Bringing High-Performance Reconfigurable Computing to Exact Computations
Numerical non-robustness is a recurring phenomenon in scientific computing. It is primarily caused by numerical errors arising because of fixed-precision arithmetic in integer and...
Esam El-Araby, Ivan Gonzalez, Tarek A. El-Ghazawi
ICSR
2000
Springer
15 years 10 months ago
A New Control Structure for Transformation-Based Generators
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
Ted J. Biggerstaff