Search Sciweavers | Sciweavers

3357 search results - page 12 / 672

» Controlling Complexity

click to vote

HIPC
2003
Springer

88views Distributed And Parallel Com...» more HIPC 2003»

Complexity Analysis of a Cache Controller for Speculative Multithreading Chip Multiprocessors

15 years 2 months ago

Download www.mtl.t.u-tokyo.ac.jp

Yoshimitsu Yanagawa, Luong Dinh Hung, Chitaka Iwam...

claim paper

Read More »

click to vote

ICRA
1999
IEEE

115views Robotics» more ICRA 1999»

Adaptive Accommodation Control for Complex Assembly: Theory and Experiment

15 years 1 months ago

Download imm.kist.kr

Kungchul Kang, Munsang Kim, Chong-Won Lee, Kyo-Il ...

claim paper

Read More »

click to vote

FM
1998
Springer

153views Formal Methods» more FM 1998»

VSE: Controlling the Complexity in Formal Software Developments

15 years 1 months ago

Download reference.kfupm.edu.sa

We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...

Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...

claim paper

Read More »

Voted

CSB
2005
IEEE

139views Bioinformatics» more CSB 2005»

Controlling Complexity

14 years 11 months ago

Download assets.cambridge.org

claim paper

Read More »

click to vote

COCOA
2008
Springer

129views Discrete Geometry» more COCOA 2008»

Parameterized Complexity of Candidate Control in Elections and Related Digraph Problems

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers