Sciweavers

3838 search results - page 25 / 768
» Techniques for Optimization of Net Algorithms
Sort
View
64
Voted
POPL
1994
ACM
15 years 1 months ago
Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...
Koenraad De Bosschere, Saumya K. Debray, David Gud...
ITCC
2003
IEEE
15 years 2 months ago
Timed Petri Net Representation of the Synchronized Multimedia Integration Language (SMIL) of XML
A multimedia server needs to satisfy the temporal ordering of multimedia data streams when servicing a client. Multimedia data has high bandwidth requirements, and within a networ...
Soon Myoung Chung, Anil L. Pereira
KR
2004
Springer
15 years 3 months ago
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
Volker Haarslev, Ralf Möller
DATE
2005
IEEE
176views Hardware» more  DATE 2005»
15 years 3 months ago
Effective Lower Bounding Techniques for Pseudo-Boolean Optimization
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
Vasco M. Manquinho, João P. Marques Silva
SIP
2003
14 years 11 months ago
Time Domain Optimization Techniques for Blind Separation of Non-stationary Convolutive Mixed Signals
This paper aims to solve the problem of Blind Signal Separation (BSS) in a convolutive environment based on output correlation matrix diagonalization. Firstly an extension of the ...
Iain Russell, Alfred Mertins, Jiangtao Xi