Search Sciweavers | Sciweavers

7303 search results - page 130 / 1461

» Optimality for dynamic patterns

click to vote

SIGSOFT
2008
ACM

192views Software Engineering» more SIGSOFT 2008»

Javert: fully automatic mining of general temporal properties from dynamic traces

15 years 11 months ago

Download wwwcsif.cs.ucdavis.edu

Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...

Mark Gabel, Zhendong Su

claim paper

Read More »

click to vote

ATMOS
2010

150views Optimization» more ATMOS 2010»

Dynamic Graph Generation and Dynamic Rolling Horizon Techniques in Large Scale Train Timetabling

14 years 9 months ago

Download drops.dagstuhl.de

The aim of the train timetabling problem is to ﬁnd a conﬂict free timetable for a set of passenger and freight trains along their routes in an infrastructure network. Several ...

Frank Fischer, Christoph Helmberg

claim paper

Read More »

click to vote

VLSID
2007
IEEE

210views VLSI» more VLSID 2007»

Dynamically Optimizing FPGA Applications by Monitoring Temperature and Workloads

15 years 10 months ago

Download www.arl.wustl.edu

In the past, Field Programmable Gate Array (FPGA) circuits only contained a limited amount of logic and operated at a low frequency. Few applications running on FPGAs consumed exc...

Phillip H. Jones, Young H. Cho, John W. Lockwood

claim paper

Read More »

click to vote

ICCAD
2005
IEEE

133views Hardware» more ICCAD 2005»

Memory access optimization of dynamic binary translation for reconfigurable architectures

15 years 7 months ago