Sciweavers

5330 search results - page 249 / 1066
» The Performability Tool P'ility
Sort
View
DIMVA
2011
14 years 10 months ago
Escape from Monkey Island: Evading High-Interaction Honeyclients
Abstract. High-interaction honeyclients are the tools of choice to detect malicious web pages that launch drive-by-download attacks. Unfortunately, the approach used by these tools...
Alexandros Kapravelos, Marco Cova, Christopher Kru...
ARITH
2009
IEEE
16 years 2 months ago
Datapath Synthesis for Standard-Cell Design
Datapath synthesis for standard-cell design goes through extraction of arithmetic operations from RTL code, high-level arithmetic optimizations and netlist generation. Numerous ar...
Reto Zimmermann
AMT
2009
Springer
151views Multimedia» more  AMT 2009»
16 years 1 months ago
The Quest for Parallel Reasoning on the Semantic Web
Traditional reasoning tools for the Semantic Web cannot cope with Web scale data. One major direction to improve performance is parallelization. This article surveys existing studi...
Peiqiang Li, Yi Zeng, Spyros Kotoulas, Jacopo Urba...
APN
2009
Springer
16 years 1 months ago
ASAP: An Extensible Platform for State Space Analysis
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
Michael Westergaard, Sami Evangelista, Lars Michae...
CEC
2007
IEEE
16 years 1 months ago
Automated design of a MEMS resonator
—As the application and complexity of microelectromechanical (MEMS) devices increases, there is a corresponding need for automated design and optimization tools to augment engine...
Jason D. Lohn, William F. Kraus, Gregory S. Hornby