7225 search results - page 1342 / 1445 » Software is data too |
197
click to vote
ISCA
2012
IEEE
13 years 7 months ago
2012
IEEE
Smartphones represent one of the fastest growing markets, providing significant hardware/software improvements every few months. However, supporting these capabilities reduces the...
165
click to vote
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
150
click to vote
BIOINFORMATICS
2012
13 years 6 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...
161
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
To ensure low power consumption while maintaining flexibility and performance, future Systems-on-Chip (SoC) will combine several types of processor cores and data memory units of...
190
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Users of social networking services can connect with each other by forming communities for online interaction. Yet as the number of communities hosted by such websites grows over ...