900 search results - page 145 / 180 » On Polynomial Time Computation over Unordered Structures |
CAV
2010
Springer
14 years 17 days ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
SDM
2007
SIAM
13 years 10 months ago
2007
SIAM
How do blogs cite and influence each other? How do such links evolve? Does the popularity of old blog posts drop exponentially with time? These are some of the questions that we ...
WSC
2004
13 years 10 months ago
2004
This paper describes the application of parallel simulation techniques to represent structured functional parallelism present within the Space Shuttle Operations Flow, utilizing t...
HPDC
2006
IEEE
14 years 2 months ago
2006
IEEE
Trace-driven simulation is an important technique used in the evaluation of computer architecture innovations. However using it for studying parallel computers and applications is...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
We present the System Blocks, a new physical interactive system that makes it easier for kids to explore dynamic systems. A set of computationally enhanced children blocks, made o...