Sciweavers

468 search results - page 3 / 94
» Transfer Capability Computations in Deregulated Power System...
Sort
View
PDIS
1996
IEEE
13 years 9 months ago
Capabilities-Based Query Rewriting in Mediator Systems
Users today are struggling to integrate a broad range of information sources providing di erent levels of query capabilities. Currently, data sources with di erent and limitedcapa...
Yannis Papakonstantinou, Ashish Gupta, Laura M. Ha...
ICFP
2008
ACM
14 years 5 months ago
Functional translation of a calculus of capabilities
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
Arthur Charguéraud, François Pottier
ESTIMEDIA
2009
Springer
13 years 3 months ago
Inter-kernel data reuse and pipelining on chip-multiprocessors for multimedia applications
The increasing demand for low power and high performance multimedia embedded systems has motivated the need for effective solutions to satisfy application bandwidth and latency req...
Luis Angel D. Bathen, Yongjin Ahn, Nikil D. Dutt, ...
HICSS
2005
IEEE
113views Biometrics» more  HICSS 2005»
13 years 10 months ago
Static Collapse and Topological Cuts
This paper explores the relationships between power system static collapse and flows in topological cuts. It seeks a “local” detection of this “global” phenomenon. The pap...
Santiago Grijalva, Peter W. Sauer
ISCC
2007
IEEE
13 years 11 months ago
Gaining Flexibility by Security Protocol Transfer
Even though PDAs in general—but smartcards in particular—can be trusted to keep secrets, because they have meager resources, including them in security protocols is difficult...
Per Harald Myrvang, Tage Stabell-Kulø