Sciweavers

1499 search results - page 258 / 300
» Case Study: An Implementation of a Secure Steganographic Sys...
Sort
View
CGO
2010
IEEE
16 years 1 months ago
Parameterized tiling revisited
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
Muthu Manikandan Baskaran, Albert Hartono, Sanket ...
ATAL
2009
Springer
16 years 26 days ago
Bounded practical social reasoning in the ESB framework
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
Iain Wallace, Michael Rovatsos
IEEESCC
2008
IEEE
16 years 21 days ago
End-to-End Versioning Support for Web Services
Software services are, just like any other software system, subject to permanent change. We argue that these changes should generally be transparent to service consumers. However,...
Philipp Leitner, Anton Michlmayr, Florian Rosenber...
ISCAS
2008
IEEE
85views Hardware» more  ISCAS 2008»
16 years 21 days ago
Frame-parallel design strategy for high definition B-frame H.264/AVC encoder
High Definition (HD) H.264/AVC video compression is the emerging necessity on nowadays home entertainment environment and so on. However, Although B-frame coding scheme provides ...
Yi-Hau Chen, Tzu-Der Chuang, Yu-Han Chen, Chen-Han...
ACSD
2006
IEEE
81views Hardware» more  ACSD 2006»
16 years 10 days ago
Monitoring and fault-diagnosis with digital clocks
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. ...
Karine Altisen, Franck Cassez, Stavros Tripakis