Sciweavers

1256 search results - page 145 / 252
» Tools for Exploring Natural Language
Sort
View
NPC
2010
Springer
15 years 2 months ago
Exposing Tunable Parameters in Multi-threaded Numerical Code
Achieving high performance on today’s architectures requires careful orchestration of many optimization parameters. In particular, the presence of shared-caches on multicore arch...
Apan Qasem, Jichi Guo, Faizur Rahman, Qing Yi
PTS
2010
147views Hardware» more  PTS 2010»
15 years 2 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
ECEASST
2010
15 years 1 months ago
Assemblies as Graph Processes
This short paper explores the potential of embedding-based graph rewriting as a tool for understanding natural computing, and in particular self-assembly. The basic point of view i...
Dirk Janssens
SBP
2011
Springer
14 years 10 months ago
Temporal Visualization of Social Network Dynamics: Prototypes for Nation of Neighbors
Information visualization is a powerful tool for analyzing the dynamic nature of social communities. Using Nation of Neighbors community network as a testbed, we propose five prin...
Jae-wook Ahn, Meirav Taieb-Maimon, Awalin Sopan, C...
119
Voted
LADS
2007
Springer
15 years 10 months ago
DCaseLP: A Prototyping Environment for Multi-language Agent Systems
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
Viviana Mascardi, Maurizio Martelli, Ivana Gungui