Sciweavers

4491 search results - page 20 / 899

» Algorithm Engineering

106

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

15 years 10 months ago

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

86

Voted

CBSE
2007
Springer

80views Software Engineering» more CBSE 2007»

Capturing Web Services Provider Constraints - An Algorithmic Approach

15 years 10 months ago

Capturing Web Services Provider Constraints - An Algorithmic Approach

Download goanna.cs.rmit.edu.au

Sudeep Mallick, S. V. Subrahmanya

claim paper

Read More »

90

Voted

CODES
2005
IEEE

80views Software Engineering» more CODES 2005»

A cycle-accurate compilation algorithm for custom pipelined datapaths

15 years 9 months ago

A cycle-accurate compilation algorithm for custom pipelined datapaths

Download www.ics.uci.edu

Mehrdad Reshadi, Daniel Gajski

claim paper

Read More »

127

Voted

CODES
2002
IEEE

92views Software Engineering» more CODES 2002»

Multi-objective design space exploration using genetic algorithms

15 years 8 months ago

Multi-objective design space exploration using genetic algorithms

Download www.diit.unict.it

Maurizio Palesi, Tony Givargis

claim paper

Read More »

102

Voted

CODES
2002
IEEE

106views Software Engineering» more CODES 2002»

Algorithmic transformation techniques for efficient exploration of alternative application instances

15 years 8 months ago

Algorithmic transformation techniques for efficient exploration of alternative application instances

Download www.cs.york.ac.uk

Todor Stefanov, Bart Kienhuis, Ed F. Deprettere

claim paper

Read More »

« Prev « First page 20 / 899 Last » Next »