Sciweavers

2806 search results - page 133 / 562
» BML and Related Tools
Sort
View
220
Voted
CCS
2011
ACM
14 years 7 months ago
Fear the EAR: discovering and mitigating execution after redirect vulnerabilities
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
Adam Doupé, Bryce Boe, Christopher Kruegel,...
HYBRID
2005
Springer
16 years 14 days ago
Interchange Formats for Hybrid Systems: Review and Proposal
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
Alessandro Pinto, Alberto L. Sangiovanni-Vincentel...
DATE
2003
IEEE
152views Hardware» more  DATE 2003»
16 years 7 days ago
Synthesis of CMOS Analog Cells Using AMIGO
In this paper, a simulation-based synthesis tool, AMIGO, for analog cell sizing is presented. AMIGO is based upon genetic optimization techniques adapted to circuit sizing. A fram...
Ramy Iskander, Mohamed Dessouky, Maie Aly, Mahmoud...
DAC
1994
ACM
15 years 11 months ago
MIST - A Design Aid for Programmable Pipelined Processors
-- In this paper, a tool to aid pipelined processor instruction set implementation is described. The purpose of the tool is to choose from among design alternatives a design that m...
Albert E. Casavant
GI
2009
Springer
15 years 10 months ago
Applying Concept-Driven Engineering for Business Process Specifications
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
Peggy Schmidt, Marion Behrens, Sebastian Kowski