Sciweavers

12115 search results - page 264 / 2423
» Bisimulation of Dynamical Systems
Sort
View
AMC
2005
105views more  AMC 2005»
15 years 6 months ago
Symbolic computing of nonlinear observable and observer forms
Observer design for highly nonlinear dynamics is an important issue, particularly when the locally observable dynamics are not linearly observable. In such circumstances the abili...
Harry G. Kwatny, Bor-Chin Chang
CSFW
2012
IEEE
13 years 9 months ago
Information-Flow Security for a Core of JavaScript
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
Daniel Hedin, Andrei Sabelfeld
FPGA
1995
ACM
107views FPGA» more  FPGA 1995»
15 years 10 months ago
Multi-way System Partitioning into a Single Type or Multiple Types of FPGAs
This paper considers the problem of partitioning a circuit into a collection of subcircuits, such that each subcircuit is feasible for some device from an FPGA library, and the to...
Dennis J.-H. Huang, Andrew B. Kahng
ICSE
2003
IEEE-ACM
16 years 6 months ago
Java Program Analysis Projects in Osaka University: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...
Reishi Yokomori, Takashi Ishio, Tetsuo Yamamoto, M...
CGO
2007
IEEE
16 years 29 days ago
SuperPin: Parallelizing Dynamic Instrumentation for Real-Time Performance
Dynamic instrumentation systems have proven to be extremely valuable for program introspection, architectural simulation, and bug detection. Yet a major drawback of modern instrum...
Steven Wallace, Kim M. Hazelwood